Data type - PDFSEARCH.IO - Document Search Engine

Data type
Results: 6762

#	Item
111	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-21 17:29:07 Computing Software engineering Object-oriented programming Data types Type theory Cross-platform software Java virtual machine Aicas Software development process Polymorphism Subtyping Java
112	BREACH LEVEL INDEX ANNUAL RECAPTOP BREACHES BY TYPE Add to Reading List Source URL: www.breachlevelindex.com Language: English - Date: 2016-08-03 15:31:24 Security Secure communication Data security Computing Data breach Identity theft Computer security SafeNet Medical data breach Personal Data Privacy and Security Act
113	Designing a verifying compiler: Lessons learned from developing Whiley Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-11-05 20:25:54 Software engineering Computer programming Computing Data types Functional languages Type theory Procedural programming languages Whiley C++ Const Recursion Java bytecode
114	FlyteSource XML™ Content Data Elements FlyteSource includes the following flight related data elements for FAA tracked flights within U.S. and Canadian airspace. Flight Content Type Flight type Add to Reading List Source URL: www.flytecomm.com Language: English - Date: 2013-08-26 18:55:51 Transport Aviation Airport Public transport Flight plan Los Angeles International Airport Louis Armstrong New Orleans International Airport
115	Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-11 05:50:59 Software engineering Computer programming Declarative programming Functional programming Functional languages Monad Data types Type class Haskell Entry point Computation Ur
116	International Trade and Investment Country Facts Data Availability Checkmark denotes data are available. The level of detail available by type (column) varies by country (row). See additional notes at the bottom of the t Add to Reading List Source URL: www.bea.gov Language: English - Date: 2016-07-19 09:32:16 Economy International trade Economic geography Foreign direct investment International business International development Trade in services statistics Value-added tax Springboard Theory
117	Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Declarative programming Data types Computing Type theory Functional programming Object-oriented programming Polymorphism Map Ordinal number Boolean data type CurryHoward correspondence
118	Performance and effects of land cover type on synthetic surface reflectance data and NDVI estimates for assessment and monitoring of semi-arid rangeland Add to Reading List Source URL: remotesensing.montana.edu Language: English - Date: 2015-02-27 15:20:45 Statistics Prediction Time Time series analysis Remote sensing Biogeography Normalized Difference Vegetation Index Phenology Enhanced vegetation index Forecasting Landsat 7 Regression analysis
119	BHP Additional Variables Different establishment variables from the Establishment History Panel (BHP) are available for following data sets: ALWA-ADIAB - ALWA survey data linked to administrative data of the IAB ........ Add to Reading List Source URL: doku.iab.de Language: English - Date: 2016-08-16 22:40:01 Data types Software engineering Computing Type theory Variable Record C++ classes
120	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class

UPDATE